A Formalization of Floating-Point Numeric Base Conversion

The process of convening arbitrary real numbers bito a floating poini format is formalized as a mapping of the reals into a specified subset of real numbers. The structure of this subset, the set of n significant digit base ß floating point numbers, is analyzed and properties of conversion mapp.ngs are determined. For a restricted conversion mapping of the n significant digit base ^numbers to the m significant digit base 6 numbers the one-to-one. onto, and order preserving properties of the mapping are summarized. Multiple conversions consisting of a Composition of individual conversion mappings are investigated and some results on the invariant points of such compound conversions are presented. The hardware and software implications of these results with regards to establishing goals and standards for floating point formats and conversion procedures are considered.